Specification and Analysis of Network Resource Requirements of Control Systems

We focus on control systems in which sensors send data to actuators via a bus shared with other applications. An approach is proposed for specifying and implementing dynamic scheduling policies for the bus with performance guarantees. Specifically, we propose an automata-based scheduler which we automatically generate from a model of the controlled plant and the controller. We show that, in addition to ensuring performance, our approach allows adjustments to dynamic conditions such as varying disturbances and network load.We present a full development path from performance specifications (exponential stability) to a control design and its implementation using Controller Area Network (CAN). Disciplines Computer Sciences Comments From the 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. This conference paper is available at ScholarlyCommons: http://repository.upenn.edu/cis_papers/564 Specification and Analysis of Network Resource Requirements of Control Systems Gera Weiss, Sebastian Fischmeister, Madhukar Anand, and Rajeev Alur 1 Dept. of Computer and Information Science, University of Pennsylvania, USA 2 Dept. of Electrical and Computer Engineering, University of Waterloo, Canada Abstract. We focus on control systems in which sensors send data to actuators via a bus shared with other applications. An approach is proposed for specifying and implementing dynamic scheduling policies for the bus with performance guarantees. Specifically, we propose an automata-based scheduler which we automatically generate from a model of the controlled plant and the controller. We show that, in addition to ensuring performance, our approach allows adjustments to dynamic conditions such as varying disturbances and network load. We present a full development path from performance specifications (exponential stability) to a control design and its implementation using Controller Area Network (CAN). We focus on control systems in which sensors send data to actuators via a bus shared with other applications. An approach is proposed for specifying and implementing dynamic scheduling policies for the bus with performance guarantees. Specifically, we propose an automata-based scheduler which we automatically generate from a model of the controlled plant and the controller. We show that, in addition to ensuring performance, our approach allows adjustments to dynamic conditions such as varying disturbances and network load. We present a full development path from performance specifications (exponential stability) to a control design and its implementation using Controller Area Network (CAN).